51![A (restricted) quantifier elimination for security protocols ? R. Ramanujam ∗ The Institute of Mathematical Sciences, C.I.T. Campus, Taramani, Chennai[removed], India S.P. Suresh A (restricted) quantifier elimination for security protocols ? R. Ramanujam ∗ The Institute of Mathematical Sciences, C.I.T. Campus, Taramani, Chennai[removed], India S.P. Suresh](https://www.pdfsearch.io/img/eb2481ec9f04d2d7562df7c84261976c.jpg) | Add to Reading ListSource URL: www.imsc.res.inLanguage: English - Date: 2006-08-04 05:49:00
|
---|
52![Available online at www.prace-ri.eu Partnership for Advanced Computing in Europe SHAPE Pilot ENTARES Engineering: Electromagnetic simulation for large model using HPC José Maria Tamayoa, Pascal de Resseguier Available online at www.prace-ri.eu Partnership for Advanced Computing in Europe SHAPE Pilot ENTARES Engineering: Electromagnetic simulation for large model using HPC José Maria Tamayoa, Pascal de Resseguier](https://www.pdfsearch.io/img/10df4598b023b95f4095ef676bcc97af.jpg) | Add to Reading ListSource URL: www.prace-ri.euLanguage: English - Date: 2014-07-24 04:53:02
|
---|
53![University of California Los Angeles Simplified Semantics and Debugging of Concurrent Programs via Targeted Race Detection University of California Los Angeles Simplified Semantics and Debugging of Concurrent Programs via Targeted Race Detection](https://www.pdfsearch.io/img/53bf0a6c156e61c83833d632f54de22b.jpg) | Add to Reading ListSource URL: www.cs.ucla.eduLanguage: English - Date: 2013-01-25 20:10:08
|
---|
54![Dov M. Gabbay Andrzej SzaÃlas Second-Order Quantifier Elimination in Higher-Order Contexts with Applications Dov M. Gabbay Andrzej SzaÃlas Second-Order Quantifier Elimination in Higher-Order Contexts with Applications](https://www.pdfsearch.io/img/7eb45eb48e95b44a9779dcc54f8f1af9.jpg) | Add to Reading ListSource URL: www.ida.liu.seLanguage: English - Date: 2012-02-03 09:26:40
|
---|
55![Tuberculosis treatment / Latent tuberculosis / Mantoux test / Infection control / Extensively drug-resistant tuberculosis / Tuberculosis diagnosis / Tuberculosis / Medicine / Health Tuberculosis treatment / Latent tuberculosis / Mantoux test / Infection control / Extensively drug-resistant tuberculosis / Tuberculosis diagnosis / Tuberculosis / Medicine / Health](/pdf-icon.png) | Add to Reading ListSource URL: www.cdc.govLanguage: English - Date: 2014-12-24 13:25:47
|
---|
56![American Model United Nations General Assembly Third Committee GA Third/I/2 SUBJECT OF RESOLUTION: American Model United Nations General Assembly Third Committee GA Third/I/2 SUBJECT OF RESOLUTION:](https://www.pdfsearch.io/img/1cca0e41a9b66439581886e22c077fff.jpg) | Add to Reading ListSource URL: www.amun.orgLanguage: English - Date: 2014-12-03 11:27:02
|
---|
57![Working Paper A validation of the methodology used in the Department for Work and Pensions’ Ipen model Working Paper A validation of the methodology used in the Department for Work and Pensions’ Ipen model](https://www.pdfsearch.io/img/aba027a859cac503f1195c81c4d5e23e.jpg) | Add to Reading ListSource URL: www.gov.ukLanguage: English - Date: 2013-07-16 06:41:28
|
---|
58![Total Maximum Daily Load (TMDL) and National Pollutant Discharge Elimination System (NPDES) Permit Training, Module 3: Understanding TMDLs with Stormwater Sources and the NPDES Stormwater Permitting Process, User’s Gui Total Maximum Daily Load (TMDL) and National Pollutant Discharge Elimination System (NPDES) Permit Training, Module 3: Understanding TMDLs with Stormwater Sources and the NPDES Stormwater Permitting Process, User’s Gui](https://www.pdfsearch.io/img/2e2ec91ec42c9005d764e98a6ff91ea2.jpg) | Add to Reading ListSource URL: water.epa.govLanguage: English - Date: 2013-05-21 14:48:48
|
---|
59![Study on challenges in the development of local equality indicators: a human-rights-centred model; Commitment 2 of the Ten-Point Plan of Action; International coalition of cities against racism: discussion papers series; Study on challenges in the development of local equality indicators: a human-rights-centred model; Commitment 2 of the Ten-Point Plan of Action; International coalition of cities against racism: discussion papers series;](https://www.pdfsearch.io/img/ee238403a827ae7ec508262f2110c9d3.jpg) | Add to Reading ListSource URL: unesdoc.unesco.orgLanguage: English - Date: 2013-09-03 20:53:36
|
---|
60![Engineering a model protein cavity to catalyze the Kemp elimination Matthew Merski and Brian K. Shoichet1 Department of Pharmaceutical Chemistry, University of California—San Francisco, San Francisco, CA[removed]Edi Engineering a model protein cavity to catalyze the Kemp elimination Matthew Merski and Brian K. Shoichet1 Department of Pharmaceutical Chemistry, University of California—San Francisco, San Francisco, CA[removed]Edi](https://www.pdfsearch.io/img/a57863342135353a2b7cc71dfb46768e.jpg) | Add to Reading ListSource URL: www.ncbi.nlm.nih.govLanguage: English |
---|